perm filename SCHLIP.RE1[LET,JMC] blob sn#838744 filedate 1987-04-19 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		While I think the main questions concerning circumscription
C00003 ENDMK
CāŠ—;
	While I think the main questions concerning circumscription
and other forms of non-monotonic reasoning are epistemological
rather than computational, it is good to have one competent
computer scientist working on the computational complexity issues.
Schlipf has done good work on this in the past and will surely
continue.